3.628 \(\int \frac{\sqrt{f+g x} \sqrt{a+c x^2}}{(d+e x)^3} \, dx\)

Optimal. Leaf size=1205 \[ \text{result too large to display} \]

[Out]

-(Sqrt[f + g*x]*Sqrt[a + c*x^2])/(2*e*(d + e*x)^2) - ((a*e^2*g - c*d*(2*e*f - 3*
d*g))*Sqrt[f + g*x]*Sqrt[a + c*x^2])/(4*e*(c*d^2 + a*e^2)*(e*f - d*g)*(d + e*x))
 - (Sqrt[-a]*Sqrt[c]*(a*e^2*g - c*d*(2*e*f - 3*d*g))*Sqrt[f + g*x]*Sqrt[1 + (c*x
^2)/a]*EllipticE[ArcSin[Sqrt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (-2*a*g)/(Sqrt[
-a]*Sqrt[c]*f - a*g)])/(4*e^2*(c*d^2 + a*e^2)*(e*f - d*g)*Sqrt[(Sqrt[c]*(f + g*x
))/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[a + c*x^2]) - (3*Sqrt[-a]*Sqrt[c]*g*Sqrt[(Sqrt
[c]*(f + g*x))/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[1 + (c*x^2)/a]*EllipticF[ArcSin[Sq
rt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (-2*a*g)/(Sqrt[-a]*Sqrt[c]*f - a*g)])/(2*
e^3*Sqrt[f + g*x]*Sqrt[a + c*x^2]) + (Sqrt[-a]*Sqrt[c]*f*(a*e^2*g - c*d*(2*e*f -
 3*d*g))*Sqrt[(Sqrt[c]*(f + g*x))/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[1 + (c*x^2)/a]*
EllipticF[ArcSin[Sqrt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (-2*a*g)/(Sqrt[-a]*Sqr
t[c]*f - a*g)])/(4*e^2*(c*d^2 + a*e^2)*(e*f - d*g)*Sqrt[f + g*x]*Sqrt[a + c*x^2]
) - (Sqrt[-a]*Sqrt[c]*d*g*(a*e^2*g - c*d*(2*e*f - 3*d*g))*Sqrt[(Sqrt[c]*(f + g*x
))/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[1 + (c*x^2)/a]*EllipticF[ArcSin[Sqrt[1 - (Sqrt
[c]*x)/Sqrt[-a]]/Sqrt[2]], (-2*a*g)/(Sqrt[-a]*Sqrt[c]*f - a*g)])/(4*e^3*(c*d^2 +
 a*e^2)*(e*f - d*g)*Sqrt[f + g*x]*Sqrt[a + c*x^2]) - (c*(e*f - 3*d*g)*Sqrt[(Sqrt
[c]*(f + g*x))/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[1 + (c*x^2)/a]*EllipticPi[(2*e)/((
Sqrt[c]*d)/Sqrt[-a] + e), ArcSin[Sqrt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (2*Sqr
t[-a]*g)/(Sqrt[c]*f + Sqrt[-a]*g)])/(e^3*((Sqrt[c]*d)/Sqrt[-a] + e)*Sqrt[f + g*x
]*Sqrt[a + c*x^2]) + ((a*e^2*g - c*d*(2*e*f - 3*d*g))^2*Sqrt[(Sqrt[c]*(f + g*x))
/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[1 + (c*x^2)/a]*EllipticPi[(2*e)/((Sqrt[c]*d)/Sqr
t[-a] + e), ArcSin[Sqrt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (2*Sqrt[-a]*g)/(Sqrt
[c]*f + Sqrt[-a]*g)])/(4*e^3*((Sqrt[c]*d)/Sqrt[-a] + e)*(c*d^2 + a*e^2)*(e*f - d
*g)*Sqrt[f + g*x]*Sqrt[a + c*x^2])

_______________________________________________________________________________________

Rubi [A]  time = 9.71483, antiderivative size = 1205, normalized size of antiderivative = 1., number of steps used = 23, number of rules used = 11, integrand size = 28, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.393 \[ \frac{\sqrt{\frac{\sqrt{c} (f+g x)}{\sqrt{c} f+\sqrt{-a} g}} \sqrt{\frac{c x^2}{a}+1} \Pi \left (\frac{2 e}{\frac{\sqrt{c} d}{\sqrt{-a}}+e};\sin ^{-1}\left (\frac{\sqrt{1-\frac{\sqrt{c} x}{\sqrt{-a}}}}{\sqrt{2}}\right )|\frac{2 \sqrt{-a} g}{\sqrt{c} f+\sqrt{-a} g}\right ) \left (a e^2 g-c d (2 e f-3 d g)\right )^2}{4 e^3 \left (\frac{\sqrt{c} d}{\sqrt{-a}}+e\right ) \left (c d^2+a e^2\right ) (e f-d g) \sqrt{f+g x} \sqrt{c x^2+a}}-\frac{\sqrt{-a} \sqrt{c} \sqrt{f+g x} \sqrt{\frac{c x^2}{a}+1} E\left (\sin ^{-1}\left (\frac{\sqrt{1-\frac{\sqrt{c} x}{\sqrt{-a}}}}{\sqrt{2}}\right )|-\frac{2 a g}{\sqrt{-a} \sqrt{c} f-a g}\right ) \left (a e^2 g-c d (2 e f-3 d g)\right )}{4 e^2 \left (c d^2+a e^2\right ) (e f-d g) \sqrt{\frac{\sqrt{c} (f+g x)}{\sqrt{c} f+\sqrt{-a} g}} \sqrt{c x^2+a}}+\frac{\sqrt{-a} \sqrt{c} f \sqrt{\frac{\sqrt{c} (f+g x)}{\sqrt{c} f+\sqrt{-a} g}} \sqrt{\frac{c x^2}{a}+1} F\left (\sin ^{-1}\left (\frac{\sqrt{1-\frac{\sqrt{c} x}{\sqrt{-a}}}}{\sqrt{2}}\right )|-\frac{2 a g}{\sqrt{-a} \sqrt{c} f-a g}\right ) \left (a e^2 g-c d (2 e f-3 d g)\right )}{4 e^2 \left (c d^2+a e^2\right ) (e f-d g) \sqrt{f+g x} \sqrt{c x^2+a}}-\frac{\sqrt{-a} \sqrt{c} d g \sqrt{\frac{\sqrt{c} (f+g x)}{\sqrt{c} f+\sqrt{-a} g}} \sqrt{\frac{c x^2}{a}+1} F\left (\sin ^{-1}\left (\frac{\sqrt{1-\frac{\sqrt{c} x}{\sqrt{-a}}}}{\sqrt{2}}\right )|-\frac{2 a g}{\sqrt{-a} \sqrt{c} f-a g}\right ) \left (a e^2 g-c d (2 e f-3 d g)\right )}{4 e^3 \left (c d^2+a e^2\right ) (e f-d g) \sqrt{f+g x} \sqrt{c x^2+a}}-\frac{\sqrt{f+g x} \sqrt{c x^2+a} \left (a e^2 g-c d (2 e f-3 d g)\right )}{4 e \left (c d^2+a e^2\right ) (e f-d g) (d+e x)}-\frac{3 \sqrt{-a} \sqrt{c} g \sqrt{\frac{\sqrt{c} (f+g x)}{\sqrt{c} f+\sqrt{-a} g}} \sqrt{\frac{c x^2}{a}+1} F\left (\sin ^{-1}\left (\frac{\sqrt{1-\frac{\sqrt{c} x}{\sqrt{-a}}}}{\sqrt{2}}\right )|-\frac{2 a g}{\sqrt{-a} \sqrt{c} f-a g}\right )}{2 e^3 \sqrt{f+g x} \sqrt{c x^2+a}}-\frac{c (e f-3 d g) \sqrt{\frac{\sqrt{c} (f+g x)}{\sqrt{c} f+\sqrt{-a} g}} \sqrt{\frac{c x^2}{a}+1} \Pi \left (\frac{2 e}{\frac{\sqrt{c} d}{\sqrt{-a}}+e};\sin ^{-1}\left (\frac{\sqrt{1-\frac{\sqrt{c} x}{\sqrt{-a}}}}{\sqrt{2}}\right )|\frac{2 \sqrt{-a} g}{\sqrt{c} f+\sqrt{-a} g}\right )}{e^3 \left (\frac{\sqrt{c} d}{\sqrt{-a}}+e\right ) \sqrt{f+g x} \sqrt{c x^2+a}}-\frac{\sqrt{f+g x} \sqrt{c x^2+a}}{2 e (d+e x)^2} \]

Warning: Unable to verify antiderivative.

[In]  Int[(Sqrt[f + g*x]*Sqrt[a + c*x^2])/(d + e*x)^3,x]

[Out]

-(Sqrt[f + g*x]*Sqrt[a + c*x^2])/(2*e*(d + e*x)^2) - ((a*e^2*g - c*d*(2*e*f - 3*
d*g))*Sqrt[f + g*x]*Sqrt[a + c*x^2])/(4*e*(c*d^2 + a*e^2)*(e*f - d*g)*(d + e*x))
 - (Sqrt[-a]*Sqrt[c]*(a*e^2*g - c*d*(2*e*f - 3*d*g))*Sqrt[f + g*x]*Sqrt[1 + (c*x
^2)/a]*EllipticE[ArcSin[Sqrt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (-2*a*g)/(Sqrt[
-a]*Sqrt[c]*f - a*g)])/(4*e^2*(c*d^2 + a*e^2)*(e*f - d*g)*Sqrt[(Sqrt[c]*(f + g*x
))/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[a + c*x^2]) - (3*Sqrt[-a]*Sqrt[c]*g*Sqrt[(Sqrt
[c]*(f + g*x))/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[1 + (c*x^2)/a]*EllipticF[ArcSin[Sq
rt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (-2*a*g)/(Sqrt[-a]*Sqrt[c]*f - a*g)])/(2*
e^3*Sqrt[f + g*x]*Sqrt[a + c*x^2]) + (Sqrt[-a]*Sqrt[c]*f*(a*e^2*g - c*d*(2*e*f -
 3*d*g))*Sqrt[(Sqrt[c]*(f + g*x))/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[1 + (c*x^2)/a]*
EllipticF[ArcSin[Sqrt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (-2*a*g)/(Sqrt[-a]*Sqr
t[c]*f - a*g)])/(4*e^2*(c*d^2 + a*e^2)*(e*f - d*g)*Sqrt[f + g*x]*Sqrt[a + c*x^2]
) - (Sqrt[-a]*Sqrt[c]*d*g*(a*e^2*g - c*d*(2*e*f - 3*d*g))*Sqrt[(Sqrt[c]*(f + g*x
))/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[1 + (c*x^2)/a]*EllipticF[ArcSin[Sqrt[1 - (Sqrt
[c]*x)/Sqrt[-a]]/Sqrt[2]], (-2*a*g)/(Sqrt[-a]*Sqrt[c]*f - a*g)])/(4*e^3*(c*d^2 +
 a*e^2)*(e*f - d*g)*Sqrt[f + g*x]*Sqrt[a + c*x^2]) - (c*(e*f - 3*d*g)*Sqrt[(Sqrt
[c]*(f + g*x))/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[1 + (c*x^2)/a]*EllipticPi[(2*e)/((
Sqrt[c]*d)/Sqrt[-a] + e), ArcSin[Sqrt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (2*Sqr
t[-a]*g)/(Sqrt[c]*f + Sqrt[-a]*g)])/(e^3*((Sqrt[c]*d)/Sqrt[-a] + e)*Sqrt[f + g*x
]*Sqrt[a + c*x^2]) + ((a*e^2*g - c*d*(2*e*f - 3*d*g))^2*Sqrt[(Sqrt[c]*(f + g*x))
/(Sqrt[c]*f + Sqrt[-a]*g)]*Sqrt[1 + (c*x^2)/a]*EllipticPi[(2*e)/((Sqrt[c]*d)/Sqr
t[-a] + e), ArcSin[Sqrt[1 - (Sqrt[c]*x)/Sqrt[-a]]/Sqrt[2]], (2*Sqrt[-a]*g)/(Sqrt
[c]*f + Sqrt[-a]*g)])/(4*e^3*((Sqrt[c]*d)/Sqrt[-a] + e)*(c*d^2 + a*e^2)*(e*f - d
*g)*Sqrt[f + g*x]*Sqrt[a + c*x^2])

_______________________________________________________________________________________

Rubi in Sympy [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{\sqrt{a + c x^{2}} \sqrt{f + g x}}{\left (d + e x\right )^{3}}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate((g*x+f)**(1/2)*(c*x**2+a)**(1/2)/(e*x+d)**3,x)

[Out]

Integral(sqrt(a + c*x**2)*sqrt(f + g*x)/(d + e*x)**3, x)

_______________________________________________________________________________________

Mathematica [C]  time = 14.9315, size = 12364, normalized size = 10.26 \[ \text{Result too large to show} \]

Antiderivative was successfully verified.

[In]  Integrate[(Sqrt[f + g*x]*Sqrt[a + c*x^2])/(d + e*x)^3,x]

[Out]

Result too large to show

_______________________________________________________________________________________

Maple [B]  time = 0.099, size = 19181, normalized size = 15.9 \[ \text{output too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int((g*x+f)^(1/2)*(c*x^2+a)^(1/2)/(e*x+d)^3,x)

[Out]

result too large to display

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{\sqrt{c x^{2} + a} \sqrt{g x + f}}{{\left (e x + d\right )}^{3}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(sqrt(c*x^2 + a)*sqrt(g*x + f)/(e*x + d)^3,x, algorithm="maxima")

[Out]

integrate(sqrt(c*x^2 + a)*sqrt(g*x + f)/(e*x + d)^3, x)

_______________________________________________________________________________________

Fricas [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(sqrt(c*x^2 + a)*sqrt(g*x + f)/(e*x + d)^3,x, algorithm="fricas")

[Out]

Timed out

_______________________________________________________________________________________

Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((g*x+f)**(1/2)*(c*x**2+a)**(1/2)/(e*x+d)**3,x)

[Out]

Timed out

_______________________________________________________________________________________

GIAC/XCAS [F(-2)]  time = 0., size = 0, normalized size = 0. \[ \text{Exception raised: RuntimeError} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(sqrt(c*x^2 + a)*sqrt(g*x + f)/(e*x + d)^3,x, algorithm="giac")

[Out]

Exception raised: RuntimeError